1. Discrete mathematics for new technology
پدیدآورنده: Garnier, Rowan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G38
1992


2. Discrete mathematics for new technology
پدیدآورنده: / Rowan Garnier and John Taylor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics
رده :
QA
,
76
.
9
,.
M35
,
G38
,
2002


3. Discrete mathematics : proofs, structures, and applications
پدیدآورنده: Garnier, Rowan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35G36
2010


4. Understanding logical connectives :
پدیدآورنده: Garnier, Rowan Patricia
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Culture, Communication and Media

5. Understanding mathematical proof /
پدیدآورنده: John Taylor, Rowan Garnier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Proof theory

6. mathematical proof
پدیدآورنده: / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996


7. 100% mathematical proof
پدیدآورنده: Garnier, Rowan.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996


8. 100% mathematical proof
پدیدآورنده: / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996


9. 100,mathematical proof
پدیدآورنده : Rowan Garnier, John Taylor
موضوع : Proof theory,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. mathematical proof
پدیدآورنده: / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996


11. 100% mathematical proof
پدیدآورنده: Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996


12. 100 mathematical proof
پدیدآورنده: Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996


13. mathematical proof
پدیدآورنده: / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996

